Testing the Efficacy of OurSpace, a Brief, Group Dynamics-Based Physical Activity Intervention: A Randomized Controlled Trial

Citation: Irwin, B., Kurz, D., Chalin, P., & Thompson, N. (2016). Testing the efficacy of ourspace, a brief, group dynamics-based physical activity intervention: A randomized controlled trial. Journal of Medical Internet Research, 18(5). doi:10.2196/jmir.5342Background: Emerging technologies (ie, mobile phones, Internet) may be effective tools for promoting physical activity (PA). However, few interventions have provided effective means to enhance social support through these platforms. Face-to-face programs that use group dynamics-based principles of behavior change have been shown to be highly effective in enhancing social support through promoting group cohesion and PA, but to date, no studies have examined their effects in Web-based programs. Objective: The aim was to explore proof of concept and test the efficacy of a brief, online group dynamics-based intervention on PA in a controlled experiment. We expected that the impact of the intervention on PA would be moderated by perceptions of cohesion and the partner's degree of presence in the online media. Methods: Participants (n=135) were randomized into same-sex dyads and randomly assigned to one of four experimental conditions: standard social support (standard), group dynamics-based-high presence, group dynamics-based-low presence, or individual control. Participants performed two sets of planking exercises (pre-post). Between sets, participants in partnered conditions interacted with a virtual partner using either a standard social support app or a group dynamics-based app (group dynamics-based-low presence and group dynamics-based-high presence), the latter of which they participated in a series of online team-building exercises. Individual participants were given an equivalent rest period between sets. To increase presence during the second set, participants in the group dynamics-based-high presence group saw a live video stream of their partner exercising. Perceptions of cohesion were measured using a modified PA Group Environment Questionnaire. Physical activity was calculated as the time persisted during set 2 after controlling for persistence in set 1.Results: Perceptions of cohesion were higher in the group dynamics-based-low presence (overall mean 5.81, SD 1.04) condition compared to the standard (overall mean 5.04, SD 0.81) conditions (P=.006), but did not differ between group dynamics-based-low presence and group dynamics-based-high presence (overall mean 5.42, SD 1.07) conditions (P=.25). Physical activity was higher in the high presence condition (mean 64.48, SD 20.19, P=.01) than all other conditions (mean 53.3, SD 17.35).Conclusions: A brief, online group dynamics-based intervention may be an effective method of improving group cohesion in virtual PA groups. However, it may be insufficient on its own to improve PA. ©Brandon Irwin, Daniel Kurz, Patrice Chalin, Nicholas Thompson

Using contracts to guide the search-based verification of concurrent programs

ISSN:0302-9743ISSN:1611-334

Contracts in Practice

Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to specifications, and help maintain consistency between specification and implementation as the program evolves. The present study investigates how contracts are used in the practice of software development. Based on an extensive empirical analysis of 21 contract-equipped Eiffel, C#, and Java projects totaling more than 260 million lines of code over 7700 revisions, it explores, among other questions: 1) which kinds of contract elements (preconditions, postconditions, class invariants) are used more often; 2) how contracts evolve over time; 3) the relationship between implementation changes and contract changes; and 4) the role of inheritance in the process. It has found, among other results, that: the percentage of program elements that include contracts is above 33% for most projects and tends to be stable over time; there is no strong preference for a certain type of contract element; contracts are quite stable compared to implementations; and inheritance does not significantly affect qualitative trends of contract usage

Highly analysable, reusable, and realisable architectural designs with XCD

Connector-Centric Design (XcD) is a new approach to specifying software architectures. XcD views complex connectors as highly significant in architectural designs, as it is the complex connectors that non-functional quality properties in systems can emanate from. So, XcD promotes in designs a clean separation of connectors (interaction behaviours) from components (functional behaviours). Designers can then specify connectors in detail explicitly thus easing the analysis of system designs for quality properties. Furthermore, XcD separates control behaviour from connectors as control strategies. Architectural designs in XcD thus become highly modular with re-usable components, connectors, and control strategies (representing design solutions for quality properties). The end result is the eased architectural experimentation with different design solutions by re-using components/connectors and formal analysis of these solutions to find out the optimal ones

Practically Applicable Formal Methods

Abstract. Formal methods are considered to be highly expensive. There-fore, they are currently applied almost only in high risk software develop-ment. In this paper, we show that formal techniques can be also efficiently used in standard large-scale applications. We focus on the generation of specifications which state the termination condition of for loops in Java code (expressed as so called Java Modeling Language decreases clauses). We demonstrate that with help of relatively simple techniques it is pos-sible to successfully generate the clauses for almost 80 % of the loops in a number of widely deployed applications. Moreover, it turns out that the remaining 20 % cases contain loops which should be carefully reviewed by software quality assurance personnel. The results show that our tech-nique might be helpful in spreading the usage of formal methods onto typical business software

The International Cancer Expert Corps: A Unique Approach for Sustainable Cancer Care in Low and Lower-Middle Income Countries

The growing burden of non-communicable diseases including cancer in low- and lower-middle income countries (LMICs) and in geographic-access limited settings within resource-rich countries requires effective and sustainable solutions. The International Cancer Expert Corps (ICEC) is pioneering a novel global mentorship–partnership model to address workforce capability and capacity within cancer disparities regions built on the requirement for local investment in personnel and infrastructure. Radiation oncology will be a key component given its efficacy for cure even for the advanced stages of disease often encountered and for palliation. The goal for an ICEC Center within these health disparities settings is to develop and retain a high-quality sustainable workforce who can provide the best possible cancer care, conduct research, and become a regional center of excellence. The ICEC Center can also serve as a focal point for economic, social, and healthcare system improvement. ICEC is establishing teams of Experts with expertise to mentor in the broad range of subjects required to establish and sustain cancer care programs. The Hubs are cancer centers or other groups and professional societies in resource-rich settings that will comprise the global infrastructure coordinated by ICEC Central. A transformational tenet of ICEC is that altruistic, human-service activity should be an integral part of a healthcare career. To achieve a critical mass of mentors ICEC is working with three groups: academia, private practice, and senior mentors/retirees. While in-kind support will be important, ICEC seeks support for the career time dedicated to this activity through grants, government support, industry, and philanthropy. Providing care for people with cancer in LMICs has been a recalcitrant problem. The alarming increase in the global burden of cancer in LMICs underscores the urgency and makes this an opportune time fornovel and sustainable solutions to transform cancer care globally

Xcd - Modular, Realizable Software Architectures

Connector-Centric Design (Xcd) is centred around a new formal architectural description language, focusing mainly on complex connectors. Inspired by Wright and BIP, Xcd aims to cleanly separate in a modular manner the high-level functional, interaction, and control system behaviours. This can aid in both increasing the understandability of architectural specifications and the reusability of components and connectors themselves. Through the independent specification of control behaviours, Xcd allows designers to experiment more easily with different design decisions early on, without having to modify the functional behaviour specifications (components) or the interaction ones(connectors). At the same time Xcd attempts to ease the architectural specification by following (and extending) a Design-by-Contract approach, which is more familiar to software developers than process algebras like CSP or languages like BIP that are closer to synchronous/hardware specification languages. Xcd extends Design-by-Contract (i) by separating component contracts into functional and interaction sub-contracts, and (ii) by allowing service consumers to specify their own contractual clauses. Xcd connector specifications are completely decentralized, foregoing Wright’s connector glue, to ensure their realizability by construction

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

htmlabstractRun-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper